Definable sets up to definable bijections in Presburger groups
نویسندگان
چکیده
منابع مشابه
Definable Sets in the Weak Presburger Arithmetic
Introduction Presburger arithmetic is the fragment of arithmetic concerning the integers with addition and order. Presburger’s supervisor considered the decidability of this fragment too modest a result to deserve a Ph.D. degree and he accepted it only as a Master’s Thesis in 1928. Looking at the number of citations, we may say that history revised this depreciative judgment long ago. There sti...
متن کاملDefinable Types in Presburger Arithmetic
We consider the first order theory of (Z,+, <), also known as Presburger arithmetic. We prove a characterization of definable types in terms of prime models over realizations, which has a similar flavor to the Marker-Steinhorn Theorem of o-minimality. We also prove that a type over a model is definable if and only if it has a unique coheir to any elementary extension, which is a characterizatio...
متن کاملPresburger-Definable Parameterized Typestates
Typestates are good at capturing dynamic states of a program as compared to normal types that can capture static structural properties of data and program. Although useful, typestates are suitable only for specifying and verifying program properties defined using finite-state abstractions. Many useful dynamic properties of programs are not finite-state definable. To address these issues, we int...
متن کاملCounter Systems with Presburger-definable Reachability Sets : Decidability and Complexity
Model checking deals with the techniques of verifying whether a given formula in a suitably expressive logic is satisfied in a given abstract structure. The techniques as well as the cost for such task vary depending on the abstract formalism used to represent the model and the logic used to express the properties [CGP00]. For abstract formalism, it is worth to note that most of the practical s...
متن کاملDefinable Representations of Definable C Groups
Let G be a compact affine definable C group and let r be∞ or ω. We prove that the representative definable C functions on G is dense in the space of continuous functions on G. Moreover we compare the category of compact affine definable C groups D with that of compact real algebraic groups A.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the London Mathematical Society
سال: 2018
ISSN: 2052-4986,2052-4986
DOI: 10.1112/tlm3.12011